builder-tool: Don't strip border-width

Strictly speaking, this would only have to be special-cased inside
GtkDialog, but lets just skip it altogether.

diff --git a/gtk/gtk-builder-tool.c b/gtk/gtk-builder-tool.c
index 3223f6f660cfe88a3f8d2437c2878a59fe03fde4..e68ec414c2cedd557a696eea883ebcf6f4def2ff 100644 (file)
--- a/gtk/gtk-builder-tool.c
+++ b/gtk/gtk-builder-tool.c
@@ -134,6 +134,7 @@ needs_explicit_setting (MyParserData *data,
     { "GtkGrid", "top-attach", 1 },
     { "GtkWidget", "hexpand", 0 },
     { "GtkWidget", "vexpand", 0 },
+    { "GtkContainer", "border-width", 0 },
     { NULL, NULL, 0 }
   };
   const gchar *class_name;